Knihy od autora Annabelle McIver

Zobrazené 1 – 7 z 7 výsledkov

1. 

   Abstraction, Refinement and Proof for Probabilistic Systems

   Annabelle McIver, Charles Carroll Morgan | Springer-Verlag New York Inc., 2010

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   147.15 €

   Zľava 0 %

   Ušetríte 0.04 €

   Kúpiť
2. 

   Quantitative Evaluation of Systems

   Annabelle McIver, Andras Horvath | Springer International Publishing AG, 2018

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
3. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
4. 

   Science of Quantitative Information Flow

   Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith | Springer International Publishing AG, 2019

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   60.66 €

   Zľava 9 %

   Ušetríte 6.50 €

   Kúpiť
5. 

   Formal Methods - The Next 30 Years

   Maurice ter Beek, Annabelle McIver, José N. Oliveira | Springer Nature Switzerland AG, 2019

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
6. 

   Programming Methodology

   Annabelle McIver, Carroll Morgan | Springer, Berlin, 2003

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   100.87 €

   Zľava 9 %

   Ušetríte 10.86 €

   Kúpiť
7. 

   Abstraction, Refinement and Proof for Probabilistic Systems

   Annabelle McIver, Carroll Morgan | Springer-Verlag New York Inc., 2004

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

   Jazyk: Angličtina

   Väzba: Pevná

   168.02 €

   Kúpiť

Poskytujeme zľavy pre študentov, učiteľov a držiteľa ISIC. Zistite viac